- 2 402 202 книги
- Поиск
Emperor Jones the Hairy Ape and Mourning Becomes Electra ( Cliffs Notes )
Автор: Eugene O'Neill James L. Roberts
Размер книги: 252 Kb
Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
Автор: Denis Besnard, Автор: Cristina Gacek, Автор: Cliff Jones
Размер книги: 2.17 Mb
Methods, Models and Tools for Fault Tolerance (Lecture Notes in Computer Science Programming and Software Engineering)
Автор: Michael Butler, Автор: Cliff B. Jones, Автор: Alexander Romanovsky, Автор: Elena TroubitsynaКатегория: Компьютеры
Размер книги: 5.20 Mb
The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)
Автор: Dines Bjørner, Автор: Cliff B. Jones (editors)Категория: Компьютеры
Размер книги: 14.98 Mb
Formal Methods and Hybrid Real-Time Systems
Автор: Cliff B. Jones, Автор: Zhiming Liu, Автор: Jim Woodcock
Размер книги: 6.60 Mb
Reflections on the Work of C.A.R. Hoare (History of Computing)
Автор: Cliff B. Jones, Автор: A.W. Roscoe, Автор: Kenneth R. Wood
Размер книги: 3.96 Mb
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)
Автор: Cliff B. Jones, Автор: Zhiming Liu, Автор: Jim Woodcock
Размер книги: 7.82 Mb
Rigorous Development of Complex Fault-Tolerant Systems, FP6 IST-511599 RODIN project
Автор: Michael Butler, Автор: Cliff JonesКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.94 Mb
Methods, models and tools for fault tolerance
Автор: Michael Butler, Автор: Cliff B. Jones, Автор: Alexander Romanovsky, Автор: Elena Troubitsyna
Размер книги: 7.64 Mb
Communicating Sequential Processes.. The 1th 25 Years, Symposium on the Occasion of 25 Years of CSP
Автор: Ali E. Abdallah, Автор: Cliff B. Jones, Автор: Jeff W. SandersКатегория: CsLn_
Размер книги: 2.02 Mb
Theoretical Aspects of Computing - ICTAC 2007, 4 conf
Автор: Cliff B. Jones, Автор: Zhiming Liu, Автор: Jones WoodcockКатегория: CsLn_
Размер книги: 4.29 Mb
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, ...
Автор: John Fitzgerald, Автор: Cliff B. Jones, Автор: Peter Lucas
Размер книги: 7.19 Mb
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Автор: Cliff B. Jones, Автор: Zhiming Liu, Автор: Jim Woodcock
Размер книги: 5.37 Mb